منابع مشابه
Javascript to Scheme Compilation
This paper presents Jsigloo, a Bigloo frontend compiling Javascript to Scheme. Javascript and Scheme share many features: both are dynamically typed, they feature closures and allow for functions as first class citizens. Despite their similarities it is not always easy to map Javascript constructs to efficient Scheme code, and in this paper we discuss the non-obvious transformations that needed...
متن کاملLightweight compilation of (C)LP to JavaScript
We present and evaluate a compiler from Prolog (and extensions) to JavaScript which makes it possible to use (constraint) logic programming to develop the client side of web applications while being compliant with current industry standards. Targeting JavaScript makes (C)LP programs executable in virtually every modern computing device with no additional software requirements from the point of ...
متن کاملType Inference for Static Compilation of JavaScript (Extended Version)
We present a type system and inference algorithm for a rich subset of JavaScript equipped with objects, structural subtyping, prototype inheritance, and first-class methods. The type system supports abstract and recursive objects, and is expressive enough to accommodate several standard benchmarks with only minor workarounds. The invariants enforced by the types enable an ahead-of-time compiler...
متن کاملCombining thread-level speculation and just-in-time compilation in Google's V8 JavaScript engine
Thread-Level Speculation can be used to take advantage of multicore architectures for JavaScript in web applications. We extend previous studies with these main contributions; we implement Thread-Level Speculation in the state-of-the art Just-in-time enabled JavaScript engine V8 and make the measurements in the Chromium web browser both from Google instead of using an interpreted JavaScript eng...
متن کاملAOT / AOTL results for OAEI 2014
In this paper, we describe our two ontology alignment systems AOT and AOTL respectively. The AOT system uses different terminological matchers with a local filter and the AOTL system consists in combining the different terminological with linguistic matchers. The AOT and AOTL systems are designed for the ontology matching tracks in order to discover new semantic correspondences between entities...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2020
ISSN: 0362-1340,1558-1160
DOI: 10.1145/3393673.3276950